• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۷ پاسخ غیر تکراری از ۷ پاسخ تکراری در مدت زمان ۰,۶۹ ثانیه یافت شد.

1. Computer semantics; studies of algorithms, processors, and languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Lee, John A. N.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
6
.
L38

2. Fairness

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Francez, Nissim.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(

رده :
QA
76
.
6
.
F7226
1986

3. Fairness

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / Nissim Francez

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)

رده :
QA
76
.
6
.
F7226
1986

4. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: edited by Austin Melton

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
239

5. Ordinateurs, Programmation , et langues naturelles

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / Par Jacques Andr`e et Catherine Fuchs,Andre

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics

رده :
QA
76
.
6
.
A5

6. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses

رده :
QA
76
.
7
.
S97
1991

7. Semantics of sequential and parallel programs,Semantik. English

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Best, Eike

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Electronic digital computers-- Programming

رده :
QA
76
.
6
.
B4765
1996
  • »
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال